Stéphane Glondu [Sun, 1 Mar 2026 21:23:34 +0000 (22:23 +0100)]
Print .cmi flags in objinfo
Gbp-Pq: Name Print-.cmi-flags-in-objinfo.patch
Stéphane Glondu [Sun, 1 Mar 2026 20:32:31 +0000 (21:32 +0100)]
Compile utils/config.{cmi,cmx} with -opaque
The goal is to stabilize compiler-libs ABI.
Gbp-Pq: Name Compile-utils-config.-cmi-cmx-with-opaque.patch
Stéphane Glondu [Mon, 15 Dec 2025 06:11:39 +0000 (07:11 +0100)]
Mark test_compact_manydomains as multicore
Gbp-Pq: Name Mark-test_compact_manydomains-as-multicore.patch
Torok Edwin [Wed, 15 Jul 2015 13:33:23 +0000 (16:33 +0300)]
Use CCLINKFLAGS for linking all executables and shared libraries
This allows packagers to set additional linker flags for executables and shared
libraries created by OCaml, and for the OCaml tools themselves.
OCaml code can be linked with various C stubs and C libraries that would
benefit from using hardening link flags, such as -Wl,-z,relro.
Origin: other
Bug-Debian: https://bugs.debian.org/702349
Forwarded: no
Last-Update: <2021-12-21>
Gbp-Pq: Name Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch
Stephane Glondu [Thu, 25 Nov 2021 14:01:11 +0000 (15:01 +0100)]
Do not error on warnings in autoconf
Bug-Debian: https://bugs.debian.org/978875
Gbp-Pq: Name Do-not-error-on-warnings-in-autoconf.patch
Stephane Glondu [Thu, 3 Sep 2020 13:21:10 +0000 (15:21 +0200)]
Trigger -output-complete-exe on -custom with an environment variable
Gbp-Pq: Name Trigger-output-complete-exe-on-custom-with-an-enviro.patch
Julien Cristau [Tue, 19 May 2009 15:24:52 +0000 (17:24 +0200)]
Put manpages in section 3o instead of 3
Gbp-Pq: Name Put-manpages-in-section-3o-instead-of-3.patch
Stéphane Glondu [Tue, 16 Jun 2026 19:25:24 +0000 (21:25 +0200)]
Prepare upload to unstable
Stéphane Glondu [Tue, 16 Jun 2026 19:23:56 +0000 (21:23 +0200)]
Revert "Switch to experimental branches"
This reverts commit
815ca4e40f0b5972b5d1093355b8d4b60293a720.
Stéphane Glondu [Mon, 2 Mar 2026 07:30:03 +0000 (08:30 +0100)]
Update changelog and prepare upload to experimental
Stéphane Glondu [Mon, 2 Mar 2026 07:28:27 +0000 (08:28 +0100)]
Update packaging
Stéphane Glondu [Mon, 2 Mar 2026 07:10:09 +0000 (08:10 +0100)]
Refresh patches
Stéphane Glondu [Mon, 2 Mar 2026 07:04:31 +0000 (08:04 +0100)]
New upstream release
Stéphane Glondu [Mon, 2 Mar 2026 07:02:55 +0000 (08:02 +0100)]
Update upstream source from tag 'upstream/5.4.1'
Update to upstream version '5.4.1'
with Debian dir
5a25489526db833e3bb868e9b75f72ef44474d4e
Stéphane Glondu [Mon, 2 Mar 2026 07:02:49 +0000 (08:02 +0100)]
New upstream version 5.4.1
Stéphane Glondu [Sun, 12 Oct 2025 09:48:33 +0000 (11:48 +0200)]
Switch to experimental branches
Stéphane Glondu [Sun, 1 Mar 2026 20:59:38 +0000 (21:59 +0100)]
Update changelog
Stéphane Glondu [Sun, 1 Mar 2026 21:24:41 +0000 (22:24 +0100)]
Print .cmi flags in objinfo
Stéphane Glondu [Sun, 1 Mar 2026 20:32:57 +0000 (21:32 +0100)]
Stabilize compiler-libs ABI by not including config.cmx
Samuel Hym [Thu, 26 Feb 2026 12:36:22 +0000 (13:36 +0100)]
Update the OCaml presentation in the package descriptions
Extract the first sentence of the project README to give an up-to-date
description of the OCaml language
The 'Objective Caml' name has been deprecated on version 4.0.0 (2012,
see Changes); Caml Light has been deprecated a long time before that
Stéphane Glondu [Wed, 11 Feb 2026 13:40:23 +0000 (14:40 +0100)]
Update changelog and prepare upload to unstable
Stéphane Glondu [Wed, 11 Feb 2026 13:38:50 +0000 (14:38 +0100)]
Fix /usr/local/lib/ocaml ownership (Closes: #982067)
Stéphane Glondu [Wed, 11 Feb 2026 13:33:34 +0000 (14:33 +0100)]
Remove MANIFEST and "debian/rules regenerate"
Stéphane Glondu [Wed, 11 Feb 2026 13:32:45 +0000 (14:32 +0100)]
Clean up Breaks/Replaces fulfilled by stable
Stéphane Glondu [Wed, 11 Feb 2026 13:28:01 +0000 (14:28 +0100)]
Remove transitional packages (Closes: #
1125099)
Stéphane Glondu [Fri, 9 Jan 2026 07:54:57 +0000 (08:54 +0100)]
Update changelog and prepare upload to unstable
Stéphane Glondu [Fri, 9 Jan 2026 07:53:44 +0000 (08:53 +0100)]
Increase the amount of data written to a pipe in a test
(Closes: #
1107773)
Stéphane Glondu [Fri, 26 Dec 2025 11:48:57 +0000 (12:48 +0100)]
Prepare upload to unstable
Stéphane Glondu [Fri, 26 Dec 2025 11:46:35 +0000 (12:46 +0100)]
Revert "Switch to experimental branches"
This reverts commit
6b3b56d36eb066e2807509872ff447274fe3db7b.
Stéphane Glondu [Mon, 15 Dec 2025 06:12:45 +0000 (07:12 +0100)]
Update changelog and prepare upload to experimental
Stéphane Glondu [Mon, 15 Dec 2025 06:12:00 +0000 (07:12 +0100)]
Mark test_compact_manydomains as multicore
Stéphane Glondu [Sun, 14 Dec 2025 09:53:40 +0000 (10:53 +0100)]
Update changelog and prepare upload to experimental
Stéphane Glondu [Sun, 14 Dec 2025 10:12:16 +0000 (11:12 +0100)]
Remove Rules-Requires-Root
Stéphane Glondu [Sun, 14 Dec 2025 09:53:11 +0000 (10:53 +0100)]
fma test from test suite fails on hppa, enable emulation like on m68k
Stéphane Glondu [Sun, 12 Oct 2025 10:31:32 +0000 (12:31 +0200)]
Prepare upload to experimental
Stéphane Glondu [Sun, 12 Oct 2025 10:11:11 +0000 (12:11 +0200)]
Update changelog
Stéphane Glondu [Sun, 12 Oct 2025 10:08:26 +0000 (12:08 +0200)]
Update packaging
Stéphane Glondu [Sun, 12 Oct 2025 10:04:19 +0000 (12:04 +0200)]
Remove two seemingly obsolete patches
Stéphane Glondu [Sun, 12 Oct 2025 10:01:45 +0000 (12:01 +0200)]
Refresh patches
Stéphane Glondu [Sun, 12 Oct 2025 10:02:09 +0000 (12:02 +0200)]
New upstream release
Stéphane Glondu [Sun, 12 Oct 2025 09:55:29 +0000 (11:55 +0200)]
Update upstream source from tag 'upstream/5.4.0'
Update to upstream version '5.4.0'
with Debian dir
d20010c66d1315d28e4d766fb6e3ffbc9bc182e0
Stéphane Glondu [Sun, 12 Oct 2025 09:55:19 +0000 (11:55 +0200)]
New upstream version 5.4.0
Stéphane Glondu [Sun, 12 Oct 2025 09:54:03 +0000 (11:54 +0200)]
Switch debian/watch to version 5
Stéphane Glondu [Sun, 12 Oct 2025 09:48:33 +0000 (11:48 +0200)]
Switch to experimental branches
Stéphane Glondu [Sun, 12 Oct 2025 09:43:38 +0000 (11:43 +0200)]
Update changelog
Stéphane Glondu [Sun, 12 Oct 2025 09:40:08 +0000 (11:40 +0200)]
De-number patches
Stéphane Glondu [Sun, 12 Oct 2025 09:39:36 +0000 (11:39 +0200)]
Do not number patches
Stéphane Glondu [Tue, 17 Jun 2025 12:26:18 +0000 (14:26 +0200)]
Build --without-zstd
Rationale: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=
1107586#66
Stéphane Glondu [Thu, 12 Jun 2025 12:08:35 +0000 (14:08 +0200)]
Prepare upload to unstable
Stéphane Glondu [Tue, 10 Jun 2025 05:44:27 +0000 (07:44 +0200)]
Update changelog
Stéphane Glondu [Tue, 10 Jun 2025 05:42:26 +0000 (07:42 +0200)]
Do not run flaky test (Closes: #
1103008)
Stéphane Glondu [Wed, 26 Mar 2025 12:57:25 +0000 (13:57 +0100)]
Add references to #
1101353 and upstream PR
Stéphane Glondu [Wed, 26 Mar 2025 09:22:29 +0000 (10:22 +0100)]
Update changelog
Stéphane Glondu [Wed, 26 Mar 2025 09:22:14 +0000 (10:22 +0100)]
Mark tests that actually require multicore
Stéphane Glondu [Mon, 27 Jan 2025 12:17:49 +0000 (13:17 +0100)]
Update changelog and prepare upload to unstable
Stéphane Glondu [Mon, 27 Jan 2025 12:17:27 +0000 (13:17 +0100)]
Enable natdynlink on hurd-amd64 (Closes: #
1094334)
Stéphane Glondu [Sun, 26 Jan 2025 16:01:14 +0000 (17:01 +0100)]
Prepare upload to unstable
Stéphane Glondu [Sun, 26 Jan 2025 15:59:36 +0000 (16:59 +0100)]
Revert "Switch to experimental branches"
This reverts commit
781fef570c265028d4a32d7b98fe0d8891e38a87.
Stéphane Glondu [Wed, 15 Jan 2025 09:38:43 +0000 (10:38 +0100)]
Prepare upload to experimental
Stéphane Glondu [Wed, 15 Jan 2025 07:40:48 +0000 (08:40 +0100)]
Update changelog
Stéphane Glondu [Wed, 15 Jan 2025 07:28:25 +0000 (08:28 +0100)]
Renumber patches
Stéphane Glondu [Wed, 15 Jan 2025 07:26:08 +0000 (08:26 +0100)]
Enable native backend on hurd-amd64 (Closes: #
1086600)
Stéphane Glondu [Wed, 15 Jan 2025 07:21:39 +0000 (08:21 +0100)]
Run tests with OCAML_TEST_SIZE=1
Stéphane Glondu [Tue, 14 Jan 2025 07:02:47 +0000 (08:02 +0100)]
Prepare upload to experimental
Stéphane Glondu [Sat, 11 Jan 2025 12:22:59 +0000 (13:22 +0100)]
Refresh patches
Stéphane Glondu [Sat, 11 Jan 2025 12:05:06 +0000 (13:05 +0100)]
New upstream release
Stéphane Glondu [Sat, 11 Jan 2025 12:04:57 +0000 (13:04 +0100)]
Update upstream source from tag 'upstream/5.3.0'
Update to upstream version '5.3.0'
with Debian dir
43379d429d7155411cc821cd34cd134323127be1
Stéphane Glondu [Sat, 11 Jan 2025 12:04:50 +0000 (13:04 +0100)]
New upstream version 5.3.0
Stéphane Glondu [Sat, 11 Jan 2025 12:04:32 +0000 (13:04 +0100)]
New upstream version 5.2.1
Stéphane Glondu [Sat, 11 Jan 2025 12:03:14 +0000 (13:03 +0100)]
Switch to experimental branches
Stéphane Glondu [Thu, 29 Aug 2024 16:03:58 +0000 (18:03 +0200)]
Prepare upload to unstable
Stéphane Glondu [Thu, 29 Aug 2024 14:05:05 +0000 (16:05 +0200)]
Update changelog
Stéphane Glondu [Thu, 29 Aug 2024 14:00:41 +0000 (16:00 +0200)]
Import upstream patch to fix coq-elpi ppc64el failure
Stéphane Glondu [Fri, 9 Aug 2024 04:55:14 +0000 (06:55 +0200)]
Add ocaml-base to Build-Conflicts
Stéphane Glondu [Wed, 7 Aug 2024 12:12:27 +0000 (14:12 +0200)]
Prepare upload to unstable
Stéphane Glondu [Wed, 7 Aug 2024 12:10:36 +0000 (14:10 +0200)]
Revert "Create ocaml-5-specific experimental branches"
This reverts commit
970cb8e4ef289d91cd7938a118aead2d7287e36d.
Stéphane Glondu [Sat, 3 Aug 2024 00:27:03 +0000 (02:27 +0200)]
Update changelog
Stéphane Glondu [Sat, 3 Aug 2024 00:25:24 +0000 (02:25 +0200)]
Change OCaml stdlib dir to /usr/lib/<multiarch>/ocaml/<abi>
Stéphane Glondu [Tue, 6 Aug 2024 01:15:48 +0000 (03:15 +0200)]
Add bytes and bigarray compatibility packages
Stéphane Glondu [Sat, 3 Aug 2024 00:13:47 +0000 (02:13 +0200)]
Use OCAML_STDLIB_DIR more often
Stéphane Glondu [Tue, 2 Jul 2024 02:59:07 +0000 (04:59 +0200)]
Update changelog and prepare upload to experimental
Stéphane Glondu [Tue, 2 Jul 2024 02:58:00 +0000 (04:58 +0200)]
Bump version of findlib in Breaks/Replaces (Closes: #
1074589)
Stéphane Glondu [Mon, 1 Jul 2024 12:37:24 +0000 (14:37 +0200)]
Prepare upload to experimental
Stéphane Glondu [Mon, 1 Jul 2024 12:35:59 +0000 (14:35 +0200)]
Update changelog
Stéphane Glondu [Mon, 1 Jul 2024 07:51:43 +0000 (09:51 +0200)]
Update armel patch
Stéphane Glondu [Sun, 30 Jun 2024 06:29:31 +0000 (08:29 +0200)]
Update m68k patch
Stéphane Glondu [Fri, 21 Jun 2024 13:35:15 +0000 (15:35 +0200)]
Update changelog
Stéphane Glondu [Fri, 28 Jun 2024 08:44:48 +0000 (10:44 +0200)]
Add Forwarded DEP3 tag to patch
Stéphane Glondu [Fri, 28 Jun 2024 06:49:32 +0000 (08:49 +0200)]
Detect if atomic 64-bit load from RO memory works
Stéphane Glondu [Fri, 21 Jun 2024 13:28:04 +0000 (15:28 +0200)]
Revert "Disable runtime_events lib on armel"
This reverts commit
a7e022d40c359932a76494ea38013fb604b6642c.
Stéphane Glondu [Fri, 21 Jun 2024 13:27:54 +0000 (15:27 +0200)]
Revert "Make runtime_events optional"
This reverts commit
d848f2f6379179e6fa8ebfdc5a6c69474ad44223.
Stéphane Glondu [Fri, 21 Jun 2024 11:24:16 +0000 (13:24 +0200)]
Update changelog
Stéphane Glondu [Fri, 21 Jun 2024 11:23:58 +0000 (13:23 +0200)]
Add Breaks/Replaces for lib{stdlib,compiler-libs}-ocaml-dev as well (Closes: #
1073995)
Stéphane Glondu [Thu, 13 Jun 2024 06:42:32 +0000 (08:42 +0200)]
Restore upstream configure script
Stéphane Glondu [Thu, 20 Jun 2024 02:32:01 +0000 (04:32 +0200)]
Prepare upload to experimental
Stéphane Glondu [Wed, 19 Jun 2024 13:31:53 +0000 (15:31 +0200)]
Update changelog
Stéphane Glondu [Thu, 20 Jun 2024 01:01:17 +0000 (03:01 +0200)]
Disable runtime_events lib on armel
Stéphane Glondu [Thu, 20 Jun 2024 01:00:37 +0000 (03:00 +0200)]
Make runtime_events optional
Stéphane Glondu [Thu, 20 Jun 2024 00:37:06 +0000 (02:37 +0200)]
Fix FTBFS on m68k
Stéphane Glondu [Wed, 19 Jun 2024 13:05:21 +0000 (15:05 +0200)]
Add reference to #
1073289